$\forall$$g$:GrpSig, $b$:$\mathbb{B}$, $x$:$\mid$$g$$\mid$. ($\neg$($\uparrow$$b$)) $\Rightarrow$ ((when $b$. $x$) = e $\in$ $\mid$$g$$\mid$)